321. Sets, logic and categories
پدیدآورنده : Cameron, Peter Jephson, 7491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
248
.
C25S4
322. Sets, logic, and categories
پدیدآورنده : Cameron, Peter J.)Peter Jephson(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
248
.
C17
1998
323. Sets, logic, and categories
پدیدآورنده : Cameron, Peter Jephson
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Categories )Mathematics(
رده :
QA
248
.
C3S4
324. Special Topics in Mathematics for Computer Scientists
پدیدآورنده : \ Ernst-Erich Doberkat
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Computer science -- Mathematics.,علوم کامپیوتر -- ریاضیات
رده :
QA
76
.
9
..
M35S6
2015
E-Book
,
325. Strukturtypen der Logik
پدیدآورنده : von Wolfgang Stegmüller, Matthias Varga Kibéd.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.
رده :
QA9
.
V669
1984
326. Studien zu Frege =
پدیدآورنده : Matthias Schirn (Hrsg.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Frege, Gottlob,1848-1925.,Frege, Gottlob,1848-1925.,Frege, Gottlob,1848-1925.,Frege, Gottlob,1848-1925.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Logique symbolique et mathématique.,Mathématiques-- Philosophie.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.
رده :
QA9
.
S78
327. Subsystems of Second Order Arithmetic
پدیدآورنده : by Stephen G. Simpson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Logic, Symbolic and mathematical.,Mathematics.
رده :
HF1008
.
B978
1999
328. The Arché papers on the mathematics of abstraction /
پدیدآورنده : edited by Roy T. Cook.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Abstraction.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Abstraction.,Logic, Symbolic and mathematical.,MATHEMATICS-- History & Philosophy.,Mathematics-- Philosophy.,Sciences humaines.,Sciences sociales.
رده :
QA8
.
4
.
A73
2007eb
329. <The> Arché papers on the Mathematics of Abstraction
پدیدآورنده : \ edited by Roy T. Cook.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics -- Philosophy.,ریاضیات -- فلسفه
رده :
QA
9
.
A7
2007
E-Book
,
330. The Big Typescript, TS. 213 /
پدیدآورنده : Ludwig Wittgenstein ; edited and translated by C. Grant Luckhardt and Maximilian Aue
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Mathematics-- Philosophy,Semantics (Philosophy)
رده :
B3376
.
W563
B4713
2005
331. <The> Elements of Advanced Mathematics
پدیدآورنده : \ Steven G. Krantz
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics,Mathematics -- Textbooks,Logic, Symbolic and mathematical -- Textbooks,ریاضیات,ریاضیات -- کتاب‌های درسی,منطق ریاضی -- کتاب‌های درسی
رده :
E-Book
,
332. The Frege reader
پدیدآورنده : Frege, Gottlob
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Logic,، Logic, Symbolic and mathematical,Philosophy ، Language and languages,Philosophy ، Mathematics,، Philosophy
رده :
B3245
.
F22
E52
1997
333. The Frege reader
پدیدآورنده : Frege, Gottlob, 8481-5291
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic,، Logic, Symbolic and mathematical,Philosophy ، Language and languages,، Mathematics -- Philosophy,، Philosophy
رده :
B
3245
.
F73F7
334. The Higher Infinite :
پدیدآورنده : by Akihiro Kanamori.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.,Topology.
رده :
QA248
.
B935
1997
335. The Ordered Weighted Averaging Operators
پدیدآورنده : edited by Ronald R. Yager, Janusz Kacprzyk.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Artificial intelligence.,Information Systems.,Logic, Symbolic and mathematical.,Mathematics.
336. <The> Oxford Handbook of Philosophy of Mathematics and Logic
پدیدآورنده : / edited by Stewart Shapiro
کتابخانه: كتابخانه بنياد دايرة المعارف اسلامی (تهران)
موضوع : ریاضیات, -- فلسفه,Mathematics - Philosophy,Logic, Symbolic and mathematical - Philosophy
رده :
QA8
,.
4
.
O94
337. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده : edited by Stewart Shapiro
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع : Philosophy ، Mathematics,Philosophy ، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
O94
2005
338. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده : edited by Stewart Shapiro
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Handbooks, manuals, etc ، Mathematics -- Philosophy,Philosophy -- Handbooks, manuals, etc ، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
O964
339. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده : / edited by Stewart Shapiro
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Mathematics , Philosophy,Logic, Symbolic and mathematical , Philosophy
رده :
E-BOOK
340. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Philosophy ، Mathematics,Philosophy ، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
O94
2005
